Pseudocompact Whyburn spaces need not be Fréchet

Pseudocompact Spaces

Maximal pseudocompact spaces

Maximal pseudocompact spaces (i.e. pseudocompact spaces possessing no strictly stronger pseudocompact topology) are characterized. It is shown that submaximal pseudocompact spaces whose pseudocompact subspaces are closed need not be maximal pseudocompact. Various techniques for constructing maximal pseudocompact spaces are described. Maximal pseudocompactness is compared to maximal feeble compa...

Countable Compact Hausdorff Spaces Need Not Be Metrizable in Zf

We show that the existence of a countable, first countable, zerodimensional, compact Hausdorff space which is not second countable, hence not metrizable, is consistent with ZF. 1. Notation and terminology Definition 1.1. Let (X,T ) be a topological space and B a base for T . (i) X is said to be compact if every open cover U of X has a finite subcover V . X is said to be compact with respect to ...

Monads Need Not Be Endofunctors

We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed λ-calculus syntax and indexed containers. We show that the Kleisli and Eilenberg-Moore constructions carry over to relative monads and are related to relative adjunctions. Under reasonable assumptions...

Selfishness need not be bad

Authors are encouraged to submit new papers to INFORMS journals by means of a style file template, which includes the journal title. However, use of a template does not certify that the paper has been accepted for publication in the named journal. INFORMS journal templates are for the exclusive purpose of submitting to an INFORMS journal and should not be used to distribute the papers in print ...